Atomic formula - PDFSEARCH.IO - Document Search Engine

Atomic formula
Results: 91

#	Item
21	IPPJ-AM･ EMPIRICAL FORMULAS ATOMIC Add to Reading List Source URL: dpc.nifs.ac.jp Language: English - Date: 2012-03-07 07:23:00 Chemical formulas Chemical nomenclature Notation Ion Well-formed formula Logic Chemistry Science
22	EJTP 10, No–134 Electronic Journal of Theoretical Physics Riemann Zeta Function and Hydrogen Spectrum Ivan I. Iliev∗ Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2013-01-12 04:23:32 Analytic number theory Atomic physics Conjectures Riemann hypothesis Riemann zeta function Rydberg formula Bohr model Apollonian circles Hurwitz zeta function Mathematical analysis Mathematics Physics
23	Atoms - How sweet they are! Glucose is a very important sugar used by all plants and animals as a source of energy. Maltose is the next most complicated sugar, and is formed from two glucose molecules. The atomic ingred Add to Reading List Source URL: spacemath.gsfc.nasa.gov Language: English - Date: 2013-12-18 07:52:20 Nonmetals Chemical formulas Reducing agents Structural formula Molecule Oxygen Carbon Hydrogen Chemical compound Chemistry Matter Chemical elements
24	Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013 Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-14 16:44:41 Propositional calculus Non-classical logic Semantics Natural deduction Intuitionistic logic Negation Tautology Atomic formula Sequent calculus Logic Mathematical logic Proof theory
25	Finite Differencing of Logical Formulas for Static Analysis Add to Reading List Source URL: www.aladdin.cs.cmu.edu Language: English - Date: 2005-07-03 22:51:50 Mathematics First-order logic Predicate Interpretation Atomic formula Function Logical connective Mereology Predicate transformer semantics Logic Mathematical logic Predicate logic
26	Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013 Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-14 16:44:58 Propositional calculus Non-classical logic Semantics Natural deduction Intuitionistic logic Negation Tautology Atomic formula Sequent calculus Logic Mathematical logic Proof theory
27	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-03-27 17:14:52 Propositional calculus Semantics Logical syntax Propositional variable First-order logic Interpretation Function Atomic formula Well-formed formula Logic Mathematical logic Predicate logic
28	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Model theory Semantics First-order logic Linear temporal logic Function Atomic formula Quantification Predicate Logic Mathematical logic Predicate logic
29	KEK Internal[removed]November 2000 R Lecture Note on Photon interactions and Cross Sections Add to Reading List Source URL: rcwww.kek.jp Language: English - Date: 2012-07-09 09:49:14 X-rays Electromagnetism Scattering Klein–Nishina formula Compton scattering Electron Photon Photoelectric effect Auger effect Physics Quantum electrodynamics Atomic physics
30	Appendix: Chapter 6, §7, second printing 7 Tableaux for monadic predicate logic In this section, we extend the semantic tableau test for validity in sentential logic (see §5 of Chapter Three) to monadic predicate logi Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1997-09-24 14:52:28 Method of analytic tableaux First-order logic Quantification Monadic predicate calculus Interpretation Atomic formula Well-formed formula Monad FO Logic Mathematical logic Predicate logic